algorithmic program

1. Data refinement is hard to deal with in a refinement tool compared with ordinary algorithmic refinement, since data refinement usually has to be done on a large program component at once.
   由于数据精化需要针对更大的程序块，所以，它比一般的算法精化更加复杂。
2. The PAR approach and its platform expresses function specification by first prediction logic, formally derives algorithm by partition and recurrence, and automatic generate algorithmic program by diversified transformation systems.
   PAR方法及其平台使用一阶谓词逻辑表示功能规约，分划与递推来进行算法形式推导，各种转换系统来自动生成算法程序。
3. The Algorithmic Research of GPS/ GLONASS Network RTK and Its Program Realization
   GPS/GLONASS网络RTK的算法研究与程序实现
4. Analyzes the algorithmic character of molecular dynamics simulation, and optimizes the serial program.
   分析讨论了分子动力学模拟的算法特征和计算特点，对串行程序作了优化，并使之适合于作并行化。
5. The loop invariant embodies essential characteristics of loop program and has an important role to play in design, proof and derivation of algorithmic program.
   循环不变式体现了循环程序的本质特征，在算法程序的开发、证明和推导中具有十分重要的作用。
6. This paper develops non-recursive algorithmic program of Hanoi tower problem employing PAR method and the new strategy of developing loop invariant and verifies the program formally.
   使用形式化方法PAR及循环不变式开发新策略，开发了Hanoi塔问题非递归算法，并对其进行了形式化的正确性证明。
7. This paper presents the modeling systems, functions, mathematic model and algorithmic process of a graphical reactive power optimization analysis program.
   介绍了一个电力系统图形化无功优化软件的建模系统、主要功能特点，并对其数学模型和算法过程作了介绍。
8. The loopback of computer algorithmic information research and efficiency of running program
   计算机算法的信息执行回收与程序的效率
9. Through researching deeply on algorithmic program, professor Xun Jinyun present a formal method named PAR ( the abbreviation of partition-and-recur) method, it bases on the relation of partition and recurrence.
   薛锦云教授对算法程序进行深入地研究，提出了一种基于分划和递推关系的算法程序设计形式化方法&PAR方法。
10. The actual project is the Nation's Natural Science Fund Project "the research of designing algorithm formally and automatically based on PAR method". It involves two aspects: developing software formally and automatically, deriving and testifying algorithmic program formally.
    在研项目国家自然科学基金课题基于PAR方法的算法设计形式化和自动化研究涉及软件开发形式化和自动化、算法程序形式化推导和证明研究等内容。
11. Algorithmic flowchart and FoxBASE program for the key part are provided.
    给出了关键部分的算法框图及FoxBASE源程序。
12. Algorithmic frame can be gained by abstracting the arithmetic operators of algorithmic program.
    对算法程序中的算子进行提取、抽象就可以得到算法框架，而算法框架可以设计出可重用部件。
13. Research on Formal Development of Algorithmic Program
    算法程序形式化开发研究
14. In order to fully utilize the hardware capability, the algorithmic C code has been rewritten, adopting several optimization methods based on hardware. Finally the software pipeline and parallel processing is realized, high efficiency target executable program is generated.
    为了充分发挥硬件平台的性能，重写了算法的C语言代码，采用了各种基于硬件的优化方法，实现了算法的软件流水和并行计算，生成了高效率的目标执行程序。

noun

1. a precise rule (or set of rules) specifying how to solve some problem

   Synonym:    algorithmalgorithmic rule